Doc dropdown menu: name "Cargo.toml" explicitly

diff --git a/src/doc/header.html b/src/doc/header.html
index 3fad7d2bd48167e497ec250fd077b5774b206837..d42cdba7b20169d8668415a0ab2a7a14d4024705 100644 (file)
--- a/src/doc/header.html
+++ b/src/doc/header.html
@@ -32,7 +32,7 @@
                 <li><a href='guide.html'>Guide</a></li>
                 <li><a href='crates-io.html'>Using crates.io</a></li>
                 <li><a href='faq.html'>FAQ</a></li>
-                <li><a href='manifest.html'>Manifest Format</a></li>
+                <li><a href='manifest.html'>Cargo.toml Format</a></li>
                 <li><a href='build-script.html'>Build Scripts</a></li>
                 <li><a href='config.html'>Configuration</a></li>
                 <li><a href='pkgid-spec.html'>Package ID specs</a></li>